21. Multi-agent systems :
پدیدآورنده: Marija Slavkovik (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Multiagent systems, Congresses.,Multiagent systems.
رده :
QA76
.
76
.
I58
22. NASA Formal Methods :
پدیدآورنده: Julia M. Badger, Kristin Yvonne Rozier (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Formal methods (Computer science), Congresses.,Formal methods (Computer science)
رده :
QA76
.
9
.
F67
N45
2019
23. Neural networks:
پدیدآورنده: Bert Kappen and Stan Gielen (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Intelligence artificielle.,Neural networks (Computer science) -- Congresses.,Réseaux neuronaux.
رده :
QA76
.
87
B478
1995
24. Principles of security and trust :
پدیدآورنده: Lujo Bauer, Ralf Küsters (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer security, Congresses.,Data encryption (Computer science), Congresses.,Algorithms & data structures.,Computer science.,Computer security.,Computer security.,Computers-- Computer Science.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Data encryption (Computer science),Information technology: general issues.,Systems analysis & design.
رده :
QA76
.
9
.
A25
P67
2018eb
25. Reachability problems :
پدیدآورنده: Igor Potapov, Pierre-Alain Reynier (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
76
.
V47
26. Services -- SERVICES 2019 :
پدیدآورنده: Yunni Xia, Liang-Jie Zhang (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer systems, Congresses.,Computer systems.
رده :
QA75
.
5
27. Software engineering :
پدیدآورنده: M.N. Hoda, Naresh Chauhan, S.M.K. Quadri, Praveen Ranjan Srivastava, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software-- Human factors, Congresses.,Human computation, Congresses.,Software engineering, Congresses.,Computer software-- Human factors.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Human computation.,Software engineering.
رده :
QA76
.
9
.
H84
28. Theory and Applications of Satisfiability Testing – SAT 2015
پدیدآورنده: \ Marijn Heule , Sean Weaver (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer algorithms -- Congresses.,Computer software -- Verification -- Congresses,Computer algorithms.,الگوریتم‌های کامپیوتری -- کنگره ها ,نر‌م‌افزار -- راستی‌آزمایی -- کنگره ها ,الگوریتم‌های کامپیوتری
رده :
QA
76
.
9
.
A43
2015
E-Book
,
29. Theory and applications of satisfiability testing -- SAT 2019 :
پدیدآورنده: Mikoláš Janota, Inês Lynce (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer algorithms, Congresses.,Computer software-- Verification, Congresses.,Computer algorithms.,Computer software-- Verification.
رده :
QA76
.
9
.
A43
30. Tools and Algorithms for the Construction and Analysis of Systems
پدیدآورنده: \ Christel Baier, Cesare Tinelli (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: System design -- Congresses.,Computer software -- Verification -- Congresses.,System analysis -- Congresses.,طراحی سیستم -- کنگره‌ها ,نر‌م‌افزار -- راستی‌آزمایی -- کنگره ها
رده :
QA76
.
9
.
T33
2010
E-Book
,
31. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده: Javier Esparza, Rupak Majumdar (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: System analysis, Congresses,System design, Congresses,Computer Systems.,Software Validation.,Systems Analysis.
رده :
QA76
.
9
.
S88
T33
2010
32. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده: Dirk Beyer, Marieke Huisman (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.
رده :
QA76
.
9
.
S88
33. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده: Tiziana Margaria, Bernhard Steffen, (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software -- Development -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,System design -- Congresses.
34. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده: Tomáš Vojnar, Lijun Zhang (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Computer software-- Verification.,System analysis.,System design.
رده :
QA76
.
9
.
S88
35. Tools and algorithms for the construction and analysis of systems
پدیدآورنده: Nir Piterman, Scott A. Smolka (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software-- Verification, Congresses,System analysis, Congresses,System design, Congresses
رده :
QA76
.
9
.
S88
T33
2013
36. Verification and evaluation of computer and communication systems :
پدیدآورنده: Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
رده :
TK5105
.
5
37. Verification of digital and hybrid systems
پدیدآورنده: edited by M. Kemal Inan, Robert P. Kurshan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer systems -- Verification -- Congresses.,Computer systems -- Verification.,Logiciels -- Vérification
رده :
QA76
.
76
.
V47
E358
2000
